perm filename IDEAS[1,JMC]1 blob sn#701670 filedate 1983-03-11 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Ideas and notes on conversations
C00003 ENDMK
CāŠ—;
Ideas and notes on conversations

1983 March 11

1. People concerned with concurrent programs prove fairness about
their programs.  Is it possible to include statements in the
program demanding fairness and leave it to the compiler to say
how this is to be accomplished?

2. Conversation with Les Lamport
Interval logic by Richard Schwartz and Michael Melliar-Smith.
859-5875, 2336

Pierre Wolper on generating synchronization from temporal logic
specs.  Alan Emerson student of Ed Clark.